10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 147-156
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 157-157
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 158-171
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 172-188
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 189-203
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 204-218
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 219-233
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 234-246
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 247-261